Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Dynamic programming
• Markov decision process
• Stochastic control
• Probability
• Mathematical analysis
• Reachability

Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club O2@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@6K W2@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@6K?

Source URL: ds.ccc.de

Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematical optimization
• Operations research
• Stochastic game
• Nash equilibrium
• Markov chain
• Determinacy
• Stochastic process
• Mathematics
• Analysis
• Multi-objective optimization

Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• Computer programming
• Debugging
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• Assertion
• Logic in computer science
• Configuration management
• PHP
• Program slicing

Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c

Source URL: www.cs.cornell.edu

• Linguistics
• Computational linguistics
• Statistical natural language processing
• Natural language processing
• Corpus linguistics
• Applied linguistics
• Speech recognition
• Topic model
• Latent Dirichlet allocation
• N-gram
• Stemming
• Text corpus

Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Abstract algebra
• Stochastic game
• -automaton
• Lie algebras
• Lifting theory
• Littelmann path model

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: jorgenavas.github.io

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract

Source URL: web.cs.ucdavis.edu

• Reputation management
• Interpersonal relationships
• Human behavior
• Accountability
• Emotions
• Social constructionism
• Trust
• Behavioural sciences
• Psychology
• Reputation
• Trust management
• Computational trust

Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University

Source URL: publications.aston.ac.uk

• Mathematical analysis
• Probability and statistics
• Probability theory
• Machine learning
• Computational neuroscience
• Computational statistics
• Artificial neural networks
• Bayesian statistics
• Gaussian function
• Mixture model
• Mixture distribution
• Joint probability distribution

IEEE COMPUTER ARCHITECTURE LETTERS, VOL. 11, NO. 2, JULY-DECEMBERIncluding Variability in Large-Scale Cluster Power Models

Source URL: rivoire.cs.sonoma.edu

• Concurrent computing
• Parallel computing
• Computing
• Computer architecture
• Cluster computing
• Fault-tolerant computer systems
• Computer cluster
• Supercomputer
• Scalability
• Data-intensive computing
• High-availability cluster
• MOSIX